Pushing Random Walk Beyond Golden Ratio

نویسندگان

  • Ehsan Amiri
  • Evgeny S. Skvortsov
چکیده

We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. We rigorously prove that the new algorithm solves the Full CNF with high probability, and for random CNFs with a planted solution of high density finds an assignment that differs from the planted in only ε-fraction of variables. In the experiments the algorithm solves random CNFs with a planted solution of any density.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testing Weak-Form Efficient Capital Market Case Study: TSE and DJUS Indices

The present study investigated weak-form market information efficiency in Tehran security exchange (TSE) as an emerging market and in Dow Jones United States security exchange (DJUS) as a developed market based on random walk model. In each market, the random walk model was examined using daily and monthly returns of a set of indices. The results of the parametric and non-parametric tests indic...

متن کامل

Spanning forests and the golden ratio

For a graph G, let fij be the number of spanning rooted forests in which vertex j belongs to a tree rooted at i. In this paper, we show that for a path, the fij’s can be expressed as the products of Fibonacci numbers; for a cycle, they are products of Fibonacci and Lucas numbers. The doubly stochastic graph matrix is the matrix F = (fij)n×n f , where f is the total number of spanning rooted for...

متن کامل

Selfsimilarity in the Birkhoff Sum of the Cotangent Function

We prove that the Birkhoff sum Sn(α) = 1 n ∑n k=1 g(kα) of g = cot(πx) and with golden ratio α converges in the sense that the sequence of functions sn(x) = S[xq2n]/q2n with Fibonacci qn converges to a self similar limiting function s(x) on [0, 1] which can be computed analytically. While for any continuous function g, the Birkhoff limiting function is s(x) = Mx by Birkhoff’s ergodic theorem, w...

متن کامل

Fibonacci sequence, golden section, Kalman filter and optimal control

A connection between the Kalman filter and the Fibonacci sequence is developed. More precisely it is shown that, for a scalar random walk system in which the two noise sources (process and measurement noise) have equal variance, the Kalman filter’s estimate turns out to be a convex linear combination of the a priori estimate and of the measurements with coefficients suitably related to the Fibo...

متن کامل

A Random Walk with Exponential Travel Times

Consider the random walk among N places with N(N - 1)/2 transports. We attach an exponential random variable Xij to each transport between places Pi and Pj and take these random variables mutually independent. If transports are possible or impossible independently with probability p and 1-p, respectively, then we give a lower bound for the distribution function of the smallest path at point log...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007